1. A profile of mathematical logic.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
2. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
3. Computer science logic :
پدیدآورنده : Leszek Pacholski, Jerzy Tiuryn ( Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Congressi - Kazimierz - 1994.,Elaborazione elettronica dei dati - Congressi - 1994.,Logica matematica e simbolica - Congressi - 1994.
رده :
QA75
.
5
L479
1995
4. Desde un punto de vista logico
پدیدآورنده : Willard van orman quine; tr. manuel sacristan; prol. jesus mosterin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica -- discursos, ensayos, conferencias.
5. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logica Matematica.
رده :
BC135
.
V663
1949
6. Il gioco della logica /
پدیدآورنده : di Lewis Carroll.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Giochi matematici,Logica,Logica matematica
7. Introduçao a logica para a ciencia da computaçao
پدیدآورنده : Jair Minoro Abe; Alexandre Scalzitti, Joao Inacio da Silva Filho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica nao-classica.,Logica no ensino.
8. Introduction to metamathematics /
پدیدآورنده : by Stephen Cole Kleene.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica
9. Introduzione alla logica formale /
پدیدآورنده : Gabriele Lolli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica.,Logica formale.
10. L'analisi matematica della logica /
پدیدآورنده : George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica
11. La congettura di Poincaré /
پدیدآورنده : Donal O'Shea ; traduzione di Daniele Didero.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica.,Matematica-- Teorie.
12. Le menzogne di Ulisse :
پدیدآورنده : di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica.,Logica-- Storia.
13. Le ragioni fisiche e le dimostrazioni matematiche /
پدیدآورنده : Gabriele Lolli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica.,Logica.,Matematica-- Teorie.,Matematica.
14. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
15. Logica matematica /
پدیدآورنده : José Ferrater Mora y Hugues Leblanc.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica
16. Logica matematica :
پدیدآورنده : Vincenzo Manca ; con un saggio di Gregory Chaitin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica
17. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
پدیدآورنده : Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
18. Modality and meaning /
پدیدآورنده : by William G. Lycan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Metaphysics.,Modality (Logic),Semantics (Philosophy),Semantics.,Betekenis.,Language and languages-- Philosophy.,Logica matematica.,Metaphysics.,Modalität,Modaliteit.,Modality (Logic),Semantics (Philosophy),Semantics.,Semantik
رده :
P106
.
L885
1994
19. Scritti scelti :
پدیدآورنده : Kurt Gödel ; a cura di Gabriele Lolli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica.
